4.0 KB · ⇊ 3 parts · ⤓ Micron 4.0 KB · ⤓ HTML 14.2 KB

top

CHIP (Constraint Handling in Prolog) is a constraint logic programming language developed by M. Dincbas, Pascal Van Hentenryck and colleagues in 1985 at the European Computer-Industry Research Centre (ECRC), initially using a Prolog language interface.cite-ref-rossibeek2006-1-0[1] It was the first programming language to implement constraint programming over finite domains, cite-ref-2[2]cite-ref-3[3] and subsequently to introduce the concept of global constraints.cite-ref-4[4]

CHIP V5 is the version developed and marketed by COSYTEC in Paris since 1993 with Prolog, using C, C++, or Prolog language interfaces.cite-ref-5[5] The commercially successful ILOG CPLEX solver is also, partly, an offshoot of the ECRC version of CHIP.

• References

• External links

cite-note-rossibeek2006-11. ↑ citereffrancesca-rossipeter-van-beektoby-walsh2006Francesca Rossi; Peter Van Beek; Toby Walsh (2006). Handbook of constraint programming. Elsevier. p. 444. ISBN 978-0-444-52726-4.

cite-note-22. ↑ citerefdincbas-mvan-hentenryck-psimonis-haggoun-a1988Dincbas, M; Van Hentenryck, P; Simonis, H; Aggoun, A; Graf, T; Berthier, F (1988). The Constraint Logic Programming Language CHIP. International Conference on Fifth Generation Computer Systems: Springer. pp. 693–702. ISBN 3-540-19558-0.

cite-note-33. ↑ citerefvan-hentenryck1989Van Hentenryck, Pascal (1989). Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA. ISBN 0-262-08181-4.

cite-note-44. ↑ citerefbeldiceanucontejean1994Beldiceanu, Nicolas; Contejean, Evelyne (1994). "Introducing Global Constraints in CHIP". Mathematical and Computer Modelling. 20 (12). Elsevier: 97–123. CiteSeerX 10.1.1.47.721. doi:10.1016/0895-7177(94)90127-9.

cite-note-55. ↑ CHIP V5 Second Generation Constraint Programming Technology Archived 2012-07-16 at the Wayback Machine CHIP V5, COSYTEC

• CHIP - History of Programming Languages (archived version)